Programming Logic or prolog is a computer programming language that is used for solving problems that involve objects and the relationships between objects. Example like “Zul teach Java”,Zul and Java is an object and teach is a relationship. Prolog is the only programming language with a built-in inference engine, which makes it convenient to develop programs for expert systems and natural language processing. Some features of prolog are :-
- Dynamic code generation
- Automatic memory management
- Powerful search
- Recursion
- Facts

Some applications of Prolog are:
intelligent data base retrieval
natural language understanding
expert systems
specification language
machine learning
robot planning
automated reasoning
problem solving


William F. Clocksin, Christopher S. Mellish, Programming in Prolog (online book)http://www.osix.net/modules/article/?id=622


amelia's note:
where's the group members for this page? would need names for marks..